منابع مشابه
Exponentiation of unary topologies over inductively generated formal topologies
We prove that unary formal topologies are exponentiable in the category of inductively generated formal topologies. From an impredicative point of view, this means that algebraic dcpos with a bottom element are exponentiable in the category of open locales.
متن کاملSpatiality for formal topologies
We define what it means for a formal topology to be spatial, and investigate properties related to spatiality both in general and in examples.
متن کاملInductively generated formal topologies
Formal topology is today an established topic in the development of constructive, that is intuitionistic and predicative, mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with this approach which allows distinction which are not sensible...
متن کاملAlexandro and Scott Topologies for Generalized Metric Spaces
Generalized metric spaces are a common generalization of preorders and ordinary metric spaces. Every generalized metric space can be isometrically embedded in a complete function space by means of a metric version of the categorical Yoneda embedding. This simple fact gives naturally rise to: 1. a topology for generalized metric spaces which for arbitrary preorders corresponds to the Alexandroo ...
متن کاملAlexandroo and Scott Topologies for Generalized Ultrametric Spaces
Both preorders and ordinary ultrametric spaces are instances of generalized ul-trametric spaces. Every generalized ultrametric space can be isometrically embedded in a (complete) function space by means of an ultrametric version of the categorical Yoneda Lemma. This simple fact gives naturally rise to: 1. a topology for generalized ultrametric spaces which for arbitrary preorders corresponds to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.08.005